export DEV_HOME=`pwd`
export BUILD_DIR=$DEV_HOME"/build"

echo "Starting CTS tests"
echo "DEV_HOME ${DEV_HOME}"
echo "BUILD_DIR ${BUILD_DIR}"

cd $DEV_HOME/runtime_core/static_core/tests/tests-u-runner

# ./runner.sh --ets-cts --build-dir $BUILD_DIR --work-dir ${DEV_HOME}/tmp --processes all --force-generate --show-progress --verbose all --spec-report --spec-file ${DEV_HOME}/arktsspecification.pdf --filter="./*namespace*.sts"

./runner.sh --ets-cts --build-dir $BUILD_DIR --work-dir ${DEV_HOME}/tmp --processes all --force-generate --show-progress --verbose all --spec-report --spec-file ${DEV_HOME}/arktsspecification.pdf --filter="./*simple_spec4_1.sts"

# ./runner.sh --ets-cts --build-dir=$BUILD_DIR --work-dir=${DEV_HOME}/tmp --processes all --force-generate --show-progress --spec-report --spec-file ${DEV_HOME}/arktsspecification.pdf

# ./runner.sh --ets-cts --build-dir=$BUILD_DIR --work-dir=${DEV_HOME}/tmp --processes all --force-generate --show-progress
